『Fault-Tolerant Agreement in Synchronous Message-Passing Systems』